theory of computation syllabus for gate